https://linux.1ere-page.fr/corriger-masquer-grub/